لطفا کمی صبر نمایید ...
ورود
جستجوی پیشرفته
استعلام پایان نامه
مقالات فارسی
ISI
کنفرانسها
ژورنالها
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
ورود / ثبت نام
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
استعلام پایان نامه
ظاهر تیره
استعلام پایان نامه
جستجوی مقالات داخلی
دسته بندی:
مقالات کنفرانسی
مقالات ژورنالی
کتابها
طرح های پژوهشی
اسناد پژوهشی
گزارشات
نوع نتایج:
دارای فایل کامل
دارای فایل Word
جستجو بدون در نظر گرفتن جایگاه کلمات صورت بگیرد
محدود کردن سال انتشار مقاله به:
همه سالها
سالهای معین:
جستجو
نمایش
کلیه اطلاعات
فقط عنوان مقاله
تعداد نتایج در هر صفحه
10
20
مرتب سازی با
عنوان مقاله
سال انتشار
نمایه سازی
صعودی
نزولی
فیلتر نتایج
اسلام ناظمی
سیدحسن میریان حسین آبادی
حسن حقیقی
نتایج 1 تا 10 از مجموع 20
1
2
مقاله کنفرانسی
ارائه یک مدل صوری برای سازماندهی خود تطبیق عامل ها در راستای دستیابی به خصیصه های خود تطبیقی
نویسندگان:
علی فراهانی
،
کمال الدین یعقوبی رفیع
،
اسلام ناظمی
سال انتشار 1398
محل انتشار:
کنفرانس ملی انفورماتیک ایران
تعداد صفحات:
11
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
روش های صوری در توصیف سیستم های همروند
نویسندگان:
بتول لکزائی
سال انتشار 1395
محل انتشار:
اولین کنفرانس بین المللی دستاوردهای نوین پژوهشی در مهندسی برق و کامپیوتر
تعداد صفحات:
14
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارائه رویکردی صوری جهت مدل سازی ئ درستی یابی ویژگی خود سازی در سامانه های نهفته
نویسندگان:
علی طریحی
،
حسن حقیقی
،
فریدون فریدون
سال انتشار 1394
محل انتشار:
هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارائه روشی برای توصیف و درستی یابی پایگاه داده ها با استفاده از Object-Z
نویسندگان:
سیده زهرا سجادی
،
حسن حقیقی
سال انتشار 1394
محل انتشار:
هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
فرمالیسمی مبتنی برZبرای توصیف سامانههایC4I احتمالاتی
نویسندگان:
مهسا افشارفرنیا
،
حسن حقیقی
سال انتشار 1391
محل انتشار:
ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
تولید صوری برنامه های همروند ایمن
نویسندگان:
شهرزاد ریاحی چالشتری
،
حسن حقیقی
سال انتشار 1391
محل انتشار:
ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
راهبردهای بهبودی برای توصیف صوری جهت جلوگیری ازخطاهای سیستم های C4I با دیدگاه تحلیل SWOT
نویسندگان:
میلاد محمدی
،
سیدمحمد قرشی
،
حسن حقیقی
سال انتشار 1391
محل انتشار:
ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران
تعداد صفحات:
10
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارائه یک مدلسازی صوری ازمساله بن بست درسیستم های هم روند
نویسندگان:
سیده سارا شریفی راد
،
سیده مریم شریفی راد
سال انتشار 1391
محل انتشار:
دومین کنفرانس ملی مهندسی نرم افزار دانشگاه آزاد لاهیجان
تعداد صفحات:
8
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارزیابی روشهای تفکیک حالات و ارتقا درتوصیف صوری نرم افزار: یک تجربه عملی
نویسندگان:
علیرضا روحی
،
سیدحسن میریان حسین آبادی
سال انتشار 1383
محل انتشار:
دهمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات:
8
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
رهیافتی به مساله عدم قطعیت در تئوری انواع مارتین لوف
نویسندگان:
حسن حقیقی
،
سیدحسن میریان حسین آبادی
سال انتشار 1383
محل انتشار:
دهمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات:
9
| زبان: فارسی
مشاهده خلاصه و دریافت
نتایج 1 تا 10 از مجموع 20
1
2